قضیه ویلسون راهی برای تشخیص اعداد اول است. این قضیه بیان میکند به ازای هر عدد اول مانند داریم
این قضیه دوشرطی است بنابراین راهی برای تشخیص اعداد اول از مرکب است یعنی:
برای هر عدد صحیح x اگر رابطه زیر برقرار باشد آنگاه x عددی اول است در غیر این صورت x عددی غیر مرکب است.
این قضیه تعمیمهایی به شکل زیر دارد:
تعمیم گاوس: کارل فریدرش گاوس ریاضیدان آلمانی در سال ۱۸۰۰ میلادی ثابت کرده که برای هر عدد طبیعی m>۲ عدد اول p
در اینجا عددی صحیح و مثبت است.